Tool Supported OCL Refactoring Catalogue Jan Reimann, Claas Wilke, Birgit Demuth, Michael Muck, Uwe Aßmann Technische Universität Dresden Institut für Software- und Multimediatechnik D-01062, Dresden, Germany

Source URL: st.inf.tu-dresden.de

• Software engineering
• Computing
• ISO standards
• Software
• Unified Modeling Language
• Object Constraint Language
• ECO
• Code refactoring
• Lambda calculus
• OCL
• Null
• Let expression

Ontology Driven Design of EMF Metamodels and Well-formedness Constraints ∗ Benedek Izsó

Source URL: st.inf.tu-dresden.de

• Computing
• Semantic Web
• Information science
• Information
• Knowledge representation
• Knowledge engineering
• Technical communication
• Ontology
• Web Ontology Language
• Metamodeling
• Eclipse Modeling Framework
• VIATRA

Uwe Reichelt Persönliche Daten Beruf geboren Diplomphysiker

Source URL: pssrs1.phy.tu-dresden.de

UniWiND-Tagung „Karrieren nach der Promotion – Übergänge zeigen, gestalten, ermöglichen“ 22. und 23. September 2016, TU Dresden Stand: Mittwoch, 21. September 2016

Source URL: www.uniwind.org

Modeling and Executing ConcurTaskTrees using a UML and SOIL-based Metamodel Jens Brüning Martin Kunert

Source URL: st.inf.tu-dresden.de

• Software engineering
• Computing
• Unified Modeling Language
• Workflow technology
• ISO standards
• Business
• Process management
• Software design
• Object Process Methodology
• Conceptual model
• Metamodeling
• Business process modeling

Fluxplayer: A Successful General Game Player Stephan Schiffel and Michael Thielscher Department of Computer Science Dresden University of Technology {stephan.schiffel,mit}@inf.tu-dresden.de

Source URL: ggp.stanford.edu

• Game artificial intelligence
• Mathematics
• Gaming
• Mathematical logic
• Eval
• Mathematical optimization
• Game Description Language
• Function
• FO
• Computer chess

PRESS RELEASE 27 June 2016 UNU-FLORES and TU Dresden Strengthen Cooperation with WUELS The Wroclaw University of Environmental and Life Sciences (WUELS), the Technische Universität

Source URL: flores.unu.edu

• United Nations University
• United Nations
• UNU-FLORES
• Peace and conflict studies
• Higher education
• Academia
• Dresden University of Technology
• Unu
• Dresden
• World Institute for Development Economics Research
• United Nations University Institute for Sustainability and Peace

Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert

Source URL: st.inf.tu-dresden.de

• Software engineering
• Theoretical computer science
• Mathematical logic
• Formal methods
• Computability theory
• Lambda calculus
• Subroutines
• Satisfiability modulo theories
• XC
• HindleyMilner type system
• First-order logic
• Recursion

Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro

Source URL: st.inf.tu-dresden.de

• Software testing
• QuickCheck
• Object Constraint Language
• Model-based testing
• Postcondition
• Random testing
• Design by contract
• ECO
• Unit testing
• Unified Modeling Language
• Object Process Methodology
• Test automation

PRESS RELEASE International Conference on Resource Management Strategies for Achieving the Sustainable Development Goals in Dresden The United Nations University (UNU-FLORES), TU Dresden and IOER will host the second bie

Source URL: flores.unu.edu

• UNU-FLORES
• United Nations University
• Peace and conflict studies
• Dresden University of Technology
• Dresden
• Sustainable development
• Sustainable Development Goals
• Sustainability
• Leibniz Association